1. Algorithms and complexity ; new directions and recet results
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
رده :
QA
76
.
6
.
S9195
1976
2. Calculating with Fortran
پدیدآورنده : Manifold, George O.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
73
.
F25
.
M35
3. Computational category theory
پدیدآورنده : Rydeheard, David E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Categories )Mathematics(,Programming ، Electronic digital computers
رده :
QA
169
.
R93
1988
4. Computational category theory
پدیدآورنده : David E. Rydeheard, Rod M. Burstall
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Categories (Mathematics)- Data processing,Electronic digital computers- Programming
رده :
QA
،
169
،.
R93
،
1988
5. Computer approaches to mathematical problem
پدیدآورنده : NIEVERGELT,JURG
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , ELECTRONIC DATA PROCESSING-MATHEMATICS
رده :
QA
76
.
6
.
N54
6. Computer programming: techniques,analysis, and mathematics
پدیدآورنده : Andree, Richard Vernon
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Mathematics ، Electronic data processing
رده :
QA
76
.
6
.
A53
7. Computer programming : techniques, analysis, and mathematics
پدیدآورنده : Andree, Richard Vernon
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Mathematics -- Data processing
رده :
QA
76
.
6
.
A53
8. Computer programming:techniques analysis & mathematics
پدیدآورنده : ANDREE,RICHARD VERNON,
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , ELECTRONIC DATA PROCESSING-MATHEMATICS
رده :
QA
76
.
6
.
A53
9. Computer science, a mathematical introduction
پدیدآورنده : Lew, Art
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic data processing-- Mathematics,، Electroni digital computers-- Programming
رده :
QA
76
.
9
.
M35
.
L48
1984
10. Computer science: a mathematical introduction
پدیدآورنده : / Art Lew
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic data processing- Mathematics,Electronic digital computers- programming
رده :
QA76
.
9
.
L4
1984
11. Computer science, a mathematical introduction: apllied mathematics - modeling, analysis, and optimization technique with applications to software systems
پدیدآورنده : Lew, Art
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
M35
L48
1985
12. Computer science:a mathematical introduction )applied mathematics
پدیدآورنده : LEW,ART
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DATA PROCESSING-MATHEMATICS , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
9
.
M35
L48
13. Computer science: a primer
پدیدآورنده : Alexandra I. Forsythe ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Mathematics ، Electronic data processing
رده :
QA
76
.
5
.
C6127
14. Discrete computational structures
پدیدآورنده : Korfhage, Robert R.
موضوع : ، Electronic digital computers-- Programming,، Mathematics-- Data processing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. From problem to program
پدیدآورنده : Wardle, M E
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Electronic data processing-- Mathematics
رده :
QA
76
.
6
.
W35
16. How to solve it by computer
پدیدآورنده : Dromey, R G
موضوع : ، Mathematics -- Data processing,، Problem solving -- Data processing,، Electronic digital computers -- Programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
17. Introduction to computing : structured problem solving using WATFIV-S
پدیدآورنده : Dyck, V. A.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، FORTRAN )Computer program language(,، Mathematics - Data processing
رده :
QA
76
.
6
.
D93
18. Problem solving and computer programming
پدیدآورنده : Grogono, Peter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Problems, exercises, etc - Data processing ، Mathematics,Data processing ، Problem solving
رده :
QA
76
.
6
.
G758
1982
19. Simple digital computing examples
پدیدآورنده : Gregory, Malcolm S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
5
.
G69
20. Studies in computer science
پدیدآورنده : POLLACK,SEYMOUR V
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DATA PROCESSING-ADDRESSES, , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , MATHEMATICS-DATA PROCESSING-
رده :
QA
76
.
24
.
S78